🔒 Borrow Checker - emschwartz · Scour

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·14h·

Discuss: Hacker News

Rust async combinators for elegant and secure concurrency

kerkour.com·23h·

Discuss: r/rust

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·1h

⚙Rust Compiler Internals

Template Method Design Pattern

denvaar.dev·1d

💻Programming languages

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition

arxiv.org·1d

Taking Things Apart

agentultra.com·1d

🧠Memory Allocators

Vulnerability-Lookup

db.gcve.eu·54m

🕳LLM Vulnerabilities

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮SMT Solvers

GNU C Language Manual

gnu.org·10h

🔢Algebraic Data Types

Tips for Using GitHub Copilot's Agent Mode

incrementsofincrements.bearblog.dev·12h

Complexity of ArenaAllocator

ziggit.dev·1d

🏟️Arena Allocators

bloomberg/crane: A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

github.com·1d·

Discuss: Lobsters

Rust Support in Socket Is Now Generally Available

socket.dev·2d

An AI Skill for Skeptical Dependency Management

nesbitt.io·1d

🔌Claude Plugins

Understanding C++ Ownership System

blog.aiono.dev·2d·

Discuss: Lobsters, Hacker News

mozilla/uniffi-rs: a multi-language bindings generator for rust

github.com·6h·

Discuss: r/rust

Build Your Own Key-Value Storage Engine—Week 6

read.thecoder.cafe·16h

🗜️Compaction

Claude's Constitution is an excellent guide for humans, too

lesswrong.com·4h

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·16h

Type-Safe Routing Without the Build Step

werkbank.dev·11h·

Discuss: Hacker News

Loading more...